Overloading Procedures Example: Creating the Package Specification